Modeling Time and Meta-reasoning in Dialogue via Active Logic
نویسندگان
چکیده
We describe our work on human-computer cooperative dialogue, that uses special "active" logics in an attempt to more closely and more usefully model human behavior. This effort pays attention to a number of issues, including Gricean pragmatics, logical nonomniscience, reasoning with inconsistent data, limited memory, blending in new information during reasoning, and models of human communication competence. Time is a chief unifying feature in our approach to these issues.
منابع مشابه
Towards a Formal Model of Knowledge Acquisition via Cooeperative Dialogue
We aim, in this paper, to make a a first step towards developing a model of knowledge acquisition/learning via cooperative dialogue. A key idea in the model is the concept of integrating exchanged information, via dialogue, within an agent's theory. The process is nonmonotonic. Dialogue is a structured process and the structure is relative to what an agent knows about the world or a domain of d...
متن کاملModeling Lateral Communication in Holonic Multi Agent Systems
Agents, in a multi agent system, communicate with each other through the process of exchanging messages which is called dialogue. Multi agent organization is generally used to optimize agents’ communications. Holonic organization demonstrates a self-similar recursive and hierarchical structure in which each holon may include some other holons. In a holonic system, lateral communication occurs b...
متن کاملThinking Takes Time: a Modal Active-logic for Reasoning in Time Thinking Takes Time: a Modal Active-logic for Reasoning in Time
Most common sense reasoning formalisms do not account for the passage of time as the reasoning occurs, and hence are inadequate from the point of view of modeling an agent's ongoing process of reasoning. We present a modal active-logic that treats time as a valuable resource that is consumed in each step of the agent's reasoning. We provide a sound and complete characterization for this logic a...
متن کاملIntegration of Abductive Reasoning and Constraint Optimization in SCIFF
Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP constraints. These two frameworks have been merged in works by various authors, who developed efficient abductive proof-procedures empowered with constraint satisfaction techniques. However, while almost all CLP languages provide...
متن کاملMeta-reasoning: A Survey
We present the basic principles and possible applications of systems capable of meta-reasoning and reflection. After a discussion of the seminal approaches, we outline our own perception of the state of the art, mainly but not only in computational logic and logic programming. We review relevant successful applications of meta-reasoning, and the basic underlying semantic principles.
متن کامل